Extracting implicit contracts from .NET components
نویسندگان
چکیده
Can libraries written without explicit support for Design by ContractTM in the language or the method benefit from a posteriori addition of contracts? To help answer this question, we performed an empirical study of library classes from the .NET Collections library, which doesn’t use Design by Contract, to search for unexpressed contracts. This article reports on what we have found, and discusses whether the results could be used to improve the design of the classes and make them easier to learn and use.
منابع مشابه
Finding Implicit Contracts in .NET Components
Are contracts inherent in reusable libraries, or just one design technique among others? To help answer this question, we performed an empirical study of library classes from the .NET Collections library, which doesn’t use Design by ContractTM, to look for unexpressed contracts. This article reports on the buried contracts we have found, and discusses improvements to the architecture ─ especial...
متن کاملStudy of Time Factor in the Development of Joint Fields in the Form of Buy Back and IPC Contracts Study of Yadavaran Oil Industry
In this paper, regardless of the sanctions in the country, by examining the importance of time factor in starting development and harvesting operations from the common sample field, optimal production is estimated based on reservoir engineering equations and using Darcy equation and compressibility equation and solving mathematical model (maximizing NPV), three scenarios of cogeneration, earlie...
متن کاملSubjective Performance Measures in Optimal Incentive Contracts*
Incentive contracts often include important subjective components that mitigate incentive distortions caused by imperfect objective measures. This paper explores the combined use of subjective and objective performance measures in (respectively) implicit and explicit incentive contracts. We show that the presence of sufficiently effective explicit contracts can render all implicit contracts inf...
متن کاملExtracting Functional and Non-functional Contracts from Java Classes and Enterprise Java Beans
We explore possibility of manual and automated contract extraction from Java classes and Enterprise Java Beans. Contracts are extended component interfaces that are defined using Contract Definition Language. They describe functional and non-functional properties. We examine how to extract hidden contracts and express them formally,modeling software components as abstract machines, hoping to ac...
متن کاملAutomatic Contract Extraction: Developing a CIL Parser PROJECT DESCRIPTION
Although Design by Contract, as supported by Eiffel (see [2] and [7]), has been shown to provide several benefits, it is not widely used yet. The question arises whether there are implicit, so called “closet contracts” hidden in the documentation or code, even if the underlying language and method do not support them explicitly. This has led to the “Closet Contract Conjecture”, described by Kar...
متن کامل